$\forall$${\it es}$:ES, ${\it e'}$:E, $P$:(\{$e$:E$\mid$ loc($e$) $=$ loc(${\it e'}$) $\in$ Id \}$\rightarrow$Prop). $\exists$$e$$\leq$${\it e'}$.$P$($e$) $\in$ Prop